1. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
2. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
3. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
4. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
5. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
6. The foundations of mathematics
پدیدآورنده : / by Frank Plumpton Ramsey
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
7. The limits of science: qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appendix by Helen Charlotte
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : علوم روش‌ش‍ن‍اس‍ی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
8. The nature of mathematics: a critical survey
پدیدآورنده : / Max Black
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
9. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
10. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار جوانان دختر (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
11. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
12. آیا خدا یک ریاضی‌دان است؟
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار جوانان پسر (خراسان رضوی)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
13. آیا روش ریاضی دکارت در فلسفه متضمن با قطعیت و یقین است؟
پدیدآورنده :
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : ریاضیات;کلیات;فلسفه دکارت;ریاضی دکارت;منطق;,کثرت گرایی;معقولات ثانی ریاضی;علوم متعارفه;وحدت گرایی;شک دکارتی;انگارش;ابزارگرایی;شک گرایی;بداهت((اصطلاح وابسته)، مقابل ادراکات فطری);
14. برهان گودل و حقيقت و برهان
پدیدآورنده : / نويسندگان: ارنست ناگل، ج. نبومن و آلفرد تارسکي
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : منطق رياضي,رياضيات - فلسفه
رده :
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
15. برهان گودل و حقيقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
کتابخانه: كتابخانه عمومی هريس (آذربایجان شرقی)
موضوع : منطق رياضي رياضيات فلسفه
رده :
510
/1
ن
218
ب
1364
16. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ن
۲
ب
۴
17. پژوهشی در پیرامون مسئله‌ی تصمیم در منطق: طرح چند خوارزمیک تحلیلی معنا‌یی
پدیدآورنده : ادیب سلطا‌نی، میرشمس‌الدین، ۱۳۱۰-
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (تهران)
موضوع : منطق ریاضی,فلسفه ریاضیات,فلسفه,تصمیم گیری (منطق),الگوها‌ی ریاضی تصمیم گیری
رده :
BC135
.
A4P4
18. تأملى بر استقراى ریاضى
پدیدآورنده : على بیگدلى، لطف اللّه نبوى
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع : استقرا;نظریه مجموعه ها; اعداد طبیعی;استقراء ریاضی;فلسفه منطق;فلسفه ریاضیات;منطق;,فرا قضیه تمامیت;استقرای ضعیف;استقراء ریاضی قوی;اصل استقرای ریاضی;
19. تحلیلی نو، بر پارادوکس راسل و پیوست همراه با معرفی یک هندسه جدید
پدیدآورنده : / فرزاد حمیدی
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات,هندسه,حساب, -- فلسفه, -- مبانی, -- اصول,منطق ریاضی -- فلسفه,هندسه -- فلسفه,راسل، ب‍رت‍ران‍دراس‍ل، ۱۸۷۲ - ۱۹۷۰م. -- اصول ریاضیات -- نقد وتفسیر
رده :
QA
۹
/
ر
۱
الف
۶۰۲
20. درآمدی بر فلسفه ریاضی: دیدگا‌ه‌ها و برها‌ن‌ها
پدیدآورنده : امید، مسعود، ۱۳۴۵-
کتابخانه: كتابخانه آیت الله العظمی بروجردی (مسجد اعظم) (قم)
موضوع : فلسفه ریاضیات,منطق ریاضی
